]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7fbdaad) | patch
keyboard: Use parent key's allocation for extended key size
authorFlorian Müllner <fmuellner@gnome.org>
Wed, 4 Dec 2019 18:48:36 +0000 (19:48 +0100)
committerFlorian Müllner <fmuellner@gnome.org>
Wed, 4 Dec 2019 19:48:37 +0000 (20:48 +0100)
commit91bf7f1e449386ee5b36c53910fdeb332ce052fb
tree82a3a0f94b46a0002bcd909da52d3367e9afbec8tree | snapshot
parent7fbdaadce27305d7145fe4ec4fc7fd063ebad2c0commit | diff
keyboard: Use parent key's allocation for extended key size

An outdated allocation is likely still better in this case than the
preferred size, so use that instead of width/height which may fall
back.

https://gitlab.gnome.org/GNOME/gnome-shell/issues/1976
js/ui/keyboard.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.